COMMENT ⊗   VALID 00007 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.<<metas -e-?>>
C00005 00003	.<<formal system  d-λ>>
C00008 00004	.<<intuitive -3-π>>
C00012 00005	.<<weird mappings -6->>
C00013 00006	.<<special symbols>>
C00014 00007
C00015 ENDMK
C⊗;
.<<metas -e-?>>
.at "?x1n"⊂"%ex%41%1,#...,#%ex%4n%1"⊃

.at "?P2"⊂"%eP%42%1"⊃
.at "?P3"⊂"%eP%43%1"⊃
.at "?P1"⊂"%eP%41%1"⊃
.at "?Pi"⊂"%eP%4i%1"⊃
.at "?Pj"⊂"%eP%4j%1"⊃
.at "?Pk"⊂"%eP%4k%1"⊃
.at "?Pn"⊂"%eP%4n%1"⊃
.at "?P"⊂"%eP%4%1"⊃

.at "?D"⊂"%eD%4%1"⊃

.at "?T"⊂"%eT%4%1"⊃

.at "?B5"⊂"%eB%45%1"⊃
.at "?B4"⊂"%eB%44%1"⊃
.at "?B3"⊂"%eB%43%1"⊃
.at "?B2"⊂"%eB%42%1"⊃
.at "?B1"⊂"%eB%41%1"⊃
.at "?Bi"⊂"%eB%4i%1"⊃
.at "?Bj"⊂"%eB%4j%1"⊃
.at "?Bk"⊂"%eB%4k%1"⊃
.at "?Bn"⊂"%eB%4n%1"⊃
.at "?B"⊂"%eB%1"⊃

.at "?C3"⊂"%eC%43%1"⊃
.at "?C2"⊂"%eC%42%1"⊃
.at "?C1"⊂"%eC%41%1"⊃
.at "?C"⊂"%eC%1"⊃

.at "?L"⊂"%eL%1"⊃

.at "?J"⊂"%eJ%1"⊃

.at "?A2"⊂"%eA%42%1"⊃
.at "?An"⊂"%eA%4n%1"⊃
.at "?A1"⊂"%eA%41%1"⊃
.at "?A"⊂"%eA%1"⊃

.at "?S"⊂"%eS%1"⊃

.at "?R"⊂"%eR%1"⊃

.at "?Q1"⊂"%eQ%41%1"⊃
.at "?Qk"⊂"%eQ%4k%1"⊃
.at "?Q"⊂"%eQ%1"⊃

.at "?y1"⊂"%ey%41%1"⊃
.at "?y2"⊂"%ey%42%1"⊃
.at "?yi"⊂"%ey%4i%1"⊃
.at "?y3"⊂"%ey%43%1"⊃
.at "?y"⊂"%ey%1"⊃

.at "?e1"⊂"%ee%41%1"⊃
.at "?e2"⊂"%ee%42%1"⊃
.at "?er"⊂"%ee%4r%1"⊃

.at "?u1"⊂"%eu%41%1"⊃
.at "?u2"⊂"%eu%42%1"⊃
.at "?ur"⊂"%eu%4r%1"⊃

.at "?w"⊂"%ew%1"⊃

.at "?x1"⊂"%ex%41%1"⊃
.at "?x2"⊂"%ex%42%1"⊃
.at "?x3"⊂"%ex%43%1"⊃
.at "?x4"⊂"%ex%44%1"⊃
.at "?xi"⊂"%ex%4i%1"⊃
.at "?xn1"⊂"%ex%4n+1%1"⊃
.at "?xn"⊂"%ex%4n%1"⊃
.at "?xk"⊂"%ex%4k%1"⊃
.at "?xj"⊂"%ex%4j%1"⊃
.at "?x"⊂"%ex%1"⊃


.at "?v1"⊂"%ev%41%1"⊃
.at "?vi"⊂"%ev%4i%1"⊃
.at "?vj"⊂"%ev%4j%1"⊃
.at "?vm"⊂"%ev%4m%1"⊃
.at "?vn"⊂"%ev%4n%1"⊃
.at "?v"⊂"%ev%1"⊃

.at "?u1"⊂"%eu%41%1"⊃
.at "?uk"⊂"%eu%4k%1"⊃
.at "?u"⊂"%eu%1"⊃

.at "?r1"⊂"%er%41%1"⊃
.at "?rk"⊂"%er%4k%1"⊃
.at "?r"⊂"%er%1"⊃

.at "?t1"⊂"%et%41%1"⊃
.at "?ti"⊂"%et%4i%1"⊃
.at "?tk"⊂"%et%4k%1"⊃
.at "?tm"⊂"%et%4m%1"⊃
.at "?tn"⊂"%et%4n%1"⊃
.at "?t"⊂"%et%1"⊃

.at "?s1"⊂"%es%41%1"⊃
.at "?s0"⊂"%es%40%1"⊃
.at "?sk"⊂"%es%4k%1"⊃
.at "?s"⊂"%es%1"⊃

.at "?a"⊂"%ea%1"⊃
.<<formal system  d-λ>>
.at "λx1n"⊂"%dx%41%1,#...,#%dx%4n%1"⊃
.at "λk1n"⊂"%dk%41%1,#...,#%dk%4n%1"⊃
.at "λg"⊂"%dg%1"⊃

.at "λW1"⊂"%dW%41%1"⊃

.at "λc"⊂"%dc%1"⊃

.at "λm"⊂"%dm%1"⊃

.at "λj"⊂"%dj%1"⊃

.at "λq"⊂"%dq%1"⊃
.at "λp"⊂"%dp%1"⊃

.at "λb1"⊂"%db%41%1"⊃
.at "λb2"⊂"%db%42%1"⊃
.at "λbi"⊂"%db%4i%1"⊃
.at "λb3"⊂"%db%43%1"⊃
.at "λb"⊂"%db%1"⊃

.at "λa1"⊂"%da%41%1"⊃
.at "λa2"⊂"%da%42%1"⊃
.at "λai"⊂"%da%4i%1"⊃
.at "λan"⊂"%da%4n%1"⊃
.at "λa"⊂"%da%1"⊃

.at "λk2"⊂"%dk%42%1"⊃
.at "λkn"⊂"%dk%4n%1"⊃
.at "λk1"⊂"%dk%41%1"⊃
.at "λk"⊂"%dk%1"⊃

.at "λBk"⊂"%dB%4k%1"⊃
.at "λBt"⊂"%dB%4t%1"⊃
.at "λBn"⊂"%dB%4n%1"⊃
.at "λB"⊂"%dB%1"⊃

.at "λC"⊂"%dC%1"⊃

.at "λD"⊂"%dD%1"⊃
.at "λE"⊂"%dE%1"⊃

.at "λA1"⊂"%dA%41%1"⊃
.at "λAm"⊂"%dA%4m%1"⊃
.at "λA"⊂"%dA%1"⊃

.at "λz"⊂"%dz%1"⊃

.at "λy1"⊂"%dy%41%1"⊃
.at "λy2"⊂"%dy%42%1"⊃
.at "λyi"⊂"%dy%4i%1"⊃
.at "λym"⊂"%dy%4m%1"⊃
.at "λy"⊂"%dy%1"⊃


.at "λf"⊂"%df%1"⊃
.at "λh"⊂"%dh%1"⊃
.at "λn"⊂"%dn%1"⊃

.at "λxn3"⊂"%dx%4n+3%1"⊃
.at "λxn2"⊂"%dx%4n+2%1"⊃
.at "λxn1"⊂"%dx%4n+1%1"⊃
.at "λx1"⊂"%dx%41%1"⊃
.at "λx2"⊂"%dx%42%1"⊃
.at "λx3"⊂"%dx%43%1"⊃
.at "λx4"⊂"%dx%44%1"⊃
.at "λxi"⊂"%dx%4i%1"⊃
.at "λxn"⊂"%dx%4n%1"⊃
.at "λxk"⊂"%dx%4k%1"⊃
.at "λxj"⊂"%dx%4j%1"⊃
.at "λx"⊂"%dx%1"⊃

.at "λu1"⊂"%du%41%1"⊃
.at "λu2"⊂"%du%42%1"⊃
.at "λun"⊂"%du%4n%1"⊃
.at "λu"⊂"%du%1"⊃

.at "λv"⊂"%dv%1"⊃

.at "λw"⊂"%dw%1"⊃

.at "λ0"⊂"%d0%1"⊃
.at "λ1"⊂"%d1%1"⊃
.at "λ2"⊂"%d2%1"⊃
.at "λ3"⊂"%d3%1"⊃
.at "λ4"⊂"%d4%1"⊃
.at "λ5"⊂"%d5%1"⊃
.at "λ6"⊂"%d6%1"⊃
.at "λ7"⊂"%d7%1"⊃
.at "λ8"⊂"%d8%1"⊃

.at "λ="⊂"%d=%1"⊃
.at "λ+"⊂"%d+%1"⊃
.at "λ*"⊂"%d*%1"⊃
.<<intuitive -3-π>>
.at "πk1n"⊂"%3k%41%1,#...,#%3k%4n%1"⊃
.at "πA"⊂"%3A%1"⊃

.at "πf1"⊂"%3f%41%1"⊃
.at "πf0"⊂"%3f%40%1"⊃
.at "πfi"⊂"%3f%4i%1"⊃
.at "πfj"⊂"%3f%4j%1"⊃
.at "πfn"⊂"%3f%4n%1"⊃
.at "πf"⊂"%3f%1"⊃


.at "πq"⊂"%3q%1"⊃

.at "πj"⊂"%3j%1"⊃

.at "πm"⊂"%3m%1"⊃

.at "πg1"⊂"%3g%41%1"⊃
.at "πg2"⊂"%3g%42%1"⊃
.at "πgi"⊂"%3g%4i%1"⊃
.at "πgk"⊂"%3g%4k%1"⊃
.at "πgn"⊂"%3g%4n%1"⊃
.at "πg"⊂"%3g%1"⊃

.at "πn"⊂"%3n%1"⊃

.at "π11"⊂"%311%1"⊃
.at "π13"⊂"%313%1"⊃
.at "π0"⊂"%30%1"⊃
.at "π1"⊂"%31%1"⊃
.at "π2"⊂"%32%1"⊃
.at "π3"⊂"%33%1"⊃
.at "π5"⊂"%35%1"⊃
.at "π7"⊂"%37%1"⊃
.at "π8"⊂"%38%1"⊃
.at "π9"⊂"%39%1"⊃

.at "πh1"⊂"%3h%41%1"⊃
.at "πhm"⊂"%3h%4m%1"⊃
.at "πhi"⊂"%3h%4i%1"⊃
.at "πh"⊂"%3h%1"⊃

.at "πb0"⊂"%3b%40%1"⊃
.at "πb1"⊂"%3b%41%1"⊃
.at "πby"⊂"%3b%4y%1"⊃
.at "πbw1"⊂"%3b%4w+1%1"⊃
.at "πbw"⊂"%3b%4w%1"⊃
.at "πbi"⊂"%3b%4i%1"⊃
.at "πbm"⊂"%3b%4m%1"⊃
.at "πb"⊂"%3b%1"⊃

.at "πa0"⊂"%3a%40%1"⊃
.at "πa1"⊂"%3a%41%1"⊃
.at "πak"⊂"%3a%4k%1"⊃
.at "πam"⊂"%3a%4m%1"⊃

.at "πi"⊂"%3i%1"⊃

.at "πk1"⊂"%3k%41%1"⊃
.at "πkn1"⊂"%3k%4n+1%1"⊃
.at "πkn"⊂"%3k%4n%1"⊃
.at "πk2"⊂"%3k%42%1"⊃
.at "πki"⊂"%3k%4i%1"⊃
.at "πk"⊂"%3k%1"⊃

.at "πu1"⊂"%3u%41%1"⊃
.at "πun"⊂"%3u%4n%1"⊃
.at "πu"⊂"%3u%1"⊃

.at "πw"⊂"%3w%1"⊃

.at "πv1"⊂"%3v%41%1"⊃
.at "πv"⊂"%3v%1"⊃

.at "πyk"⊂"%3y%4k%1"⊃
.at "πy1"⊂"%3y%41%1"⊃
.at "πyi"⊂"%3y%4i%1"⊃
.at "πym"⊂"%3y%4m%1"⊃
.at "πy"⊂"%3y%1"⊃

.at "πx1n"⊂"%3x%41%1,#...,#%3x%4n%1"⊃
.at "πxn1"⊂"%3x%4n+1%1"⊃
.at "πxn"⊂"%3x%4n%1"⊃
.at "πxm"⊂"%3x%4m%1"⊃
.at "πxk"⊂"%3x%4k%1"⊃
.at "πx2"⊂"%3x%42%1"⊃
.at "πx3"⊂"%3x%43%1"⊃
.at "πx1"⊂"%3x%41%1"⊃
.at "πxi"⊂"%3x%4i%1"⊃
.at "πx"⊂"%3x%1"⊃

.at "πzi"⊂"%3z%4i%1"⊃
.at "πz1"⊂"%3z%41%1"⊃
.at "πzk"⊂"%3z%4k%1"⊃
.at "πz"⊂"%3z%1"⊃

.at "πp0"⊂"%3p%40%1"⊃
.at "πpi"⊂"%3p%4i%1"⊃
.at "πpr1"⊂"%3p%4r-1%1"⊃
.at "πpr"⊂"%3p%4r%1"⊃
.at "πp"⊂"%3p%1"⊃

.at "πCR1"⊂"%3C%4R1%1"⊃
.at "πCR2"⊂"%3C%4R2%1"⊃
.at "πCRk"⊂"%3C%4Rk%1"⊃
.at "πCQ"⊂"%3C%4Q%1"⊃
.at "πCR"⊂"%3C%4R%1"⊃
.at "πCA"⊂"%3C%4A%1"⊃
.at "πC"⊂"%3C%1"⊃

.at "πD"⊂"%3D%1"⊃

.at "πRk"⊂"%3R%4k%1"⊃
.at "πR2"⊂"%3R%42%1"⊃
.at "πR1"⊂"%3R%41%1"⊃
.at "πR"⊂"%3R%1"⊃

.at "πBWa"⊂"%3B%4Wa%1"⊃

.at "πZ"⊂"%3Z%1"⊃

.at "πN"⊂"%3N%1"⊃

.at "πUni"⊂"%3U%8n%4i%1"⊃

.at "πW1"⊂"%3W%41%1"⊃
.at "πW2"⊂"%3W%42%1"⊃
.<<weird mappings -6-⊗>>
.at "⊗g"⊂"%6g%1"⊃

.at "⊗b"⊂"%gb%1"⊃

.at "⊗K1"⊂"%6K%41%1"⊃
.at "⊗K2"⊂"%6K%42%1"⊃
.at "⊗K"⊂"%6K%1"⊃
.at "⊗T"⊂"%6T%4O%1"⊃

.at "⊗o"⊂"%5o%1"⊃  <<umlaut>>
.at "⊗x"⊂"%5x%1"⊃  <<times>>

.at "⊗A"⊂"%6A%1"⊃

.at "⊗B"⊂"%6B%1"⊃
.<<special symbols>>
.at "?Gen"⊂"%7Gen%1"⊃

.at "?G"⊂"%gG%1"⊃

.at "?MP"⊂"%7MP%1"⊃

.at "?IR"⊂"%7IR%1"⊃

.at "?M"⊂"%eM%1"⊃

.at "?ε"⊂"%5ε%1"⊃
.at "?N"⊂"%5N%1"⊃

.at "?f"⊂"%gf%1"⊃

.at "?w"⊂"%gw%1"⊃

.at "?m"⊂"%gm%1"⊃